A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA

Source URL: research.cs.wisc.edu

• Logic
• Mathematics
• Mathematical logic
• Boolean algebra
• Propositional calculus
• Model theory
• Propositions
• Propositional formula
• Interpretation
• Tautology
• Distributive property
• Closure

Aristotle, Boole, and Chu Duality since 350 BC Vaughan Pratt Stanford University August 27, 2015

Source URL: boole.stanford.edu

• Logic
• Mathematical logic
• Abstraction
• Boolean algebra
• Term logic
• Classical logic
• Arguments
• Syllogism
• Propositional calculus
• George Boole
• Converse
• Prior Analytics

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck

Source URL: paradise.caltech.edu

• Mathematics
• Mathematical analysis
• Integer sequences
• Probability theory
• Automated theorem proving
• Logic programming
• Logical truth
• Substitution
• Automatic sequence

Regular Ultrafilters and Finite Square Principles Juliette Kennedy∗ Department of Philosophy Utrecht University, Netherlands Department of Mathematics and Statistics

Source URL: www.math.helsinki.fi

• Symbol
• Mathematics
• Mathematical analysis
• Mathematical logic
• Spectral theory
• Large cardinals
• Table of stars with Bayer designations
• Spectral theory of ordinary differential equations

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions

Source URL: www.keisu.t.u-tokyo.ac.jp

• Functions and mappings
• Mathematics
• Mathematical analysis
• Analysis
• Partial function
• Bidirectional transformation
• Derivative
• Combinatory logic
• Injective function
• Transformation
• Bidirectionalization
• Data transformation

Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Programming language semantics
• Philosophical logic
• Non-classical logic
• Operational semantics
• Semantics
• Kripke semantics
• Modal logic
• Axiomatic semantics

M L Q MATHEMATICAL LOGIC QUARTERLY

Source URL: faculty.baruch.cuny.edu

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol